Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
31	INTRODUCTION TO MEANING AND THE DYNAMICS OF INTERPRETATION Alice ter Meulen and Klaus von Heusinger This selection of original papers written by Hans Kamp—philosopherlinguist-logician-cognitive-scientist and computer-s Add to Reading List Source URL: gerlin.phil-fak.uni-koeln.de Language: English - Date: 2016-01-26 05:29:24 Philosophy Logic Semantics Abstraction Philosophical logic Grammar Meaning Lambda calculus Hans Kamp Presupposition Montague grammar Temporal logic
32	Supplementary for Structural-RNN: Deep Learning on Spatio-Temporal Graphs Ashesh Jain1,2 , Amir R. Zamir1 , Silvio Savarese1 , and Ashutosh Saxena3 Stanford University1 , Cornell University2 , Brain Of Things Inc.3 {ashe Add to Reading List Source URL: cvgl.stanford.edu Language: English - Date: 2016-04-30 19:02:32 Artificial neural networks Computational neuroscience Academia Deep learning Long short-term memory Mathematical logic Science and technology Applied mathematics Algorithm Motion Artificial intelligence
33	Ensuring Agent Properties under Arbitrary Sequences of Incoming Events Stefania Costantini1 , Pierangelo Dell’Acqua2 , Lu´ıs Moniz Pereira3 , and Arianna Tocchio1 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-06-08 10:41:46 Philosophy Logic Theoretical computer science Temporal logic Logic in computer science Linear temporal logic Modal logic Causality Formal verification
34	Riemann bilinear relations on minimal surfaces Joaqu´ın P´erez∗ e-mail: Departamento de Geometr´ıa y Topolog´ıa Facultad de Ciencias Universidad de Granada Add to Reading List Source URL: www.ugr.es Language: English - Date: 2001-03-13 07:19:24 Mathematical analysis Differential geometry Differential topology Smooth functions Tangent space Differential geometry of surfaces Distribution Linear temporal logic
35	DEGREE GROWTH OF BIRATIONAL MAPS OF THE PLANE JÉRÉMY BLANC AND JULIE DÉSERTI October 6, 2011 A BSTRACT. This article studies the sequence of iterative degrees of a birational map of the plane. This sequence is known e Add to Reading List Source URL: jones.math.unibas.ch Language: English - Date: 2014-09-21 13:51:17 Mathematical analysis Mathematics Operator theory Constructible universe Divisor Birational geometry Contraction Linear temporal logic Golden ratio base
36	International Journal of Geographical Information Science Vol. 00, No. 00, July 2006, 1–29 A Spatio-Temporal Ontology for Geographic Information Integration Thomas Bittner∗,1,2,3,4 , Maureen Donnelly1,3 , and Barry S Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:05:50 Logic Ontology Mathematical logic Mathematics Mereology Upper ontology First-order logic Formal ontology S Equivalence relation Problem of universals Binary relation
37	Checking Metric Temporal Logic with TRACE Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh, Dip Goswami ES Reports ISSN Add to Reading List Source URL: www.es.ele.tue.nl Language: English - Date: 2016-04-11 04:53:31 Logic Mathematics IP Interpretation Abstraction Linear temporal logic Craig interpolation
38	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution FO Constructible universe Normal distribution
39	Revisiting the Ontological Square Luc SCHNEIDER 1 , Institute for Formal Ontology and Medical Information Science, Universität des Saarlandes, Saarbrücken, Germany Abstract. Considerations regarding predication in ordi Add to Reading List Source URL: ifomis.uni-saarland.de Language: English - Date: 2014-05-09 08:16:43 Logic Mathematical logic Model theory Metalogic Interpretation Philosophy of mind Semantics First-order logic Constructible universe Linear temporal logic operator
40	Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic Kevin Baldor 1,2 Add to Reading List Source URL: rv2012.ku.edu.tr Language: English - Date: 2012-10-04 10:58:18 Distributed computing Safety United States federal banking legislation Liveness GrammLeachBliley Act Gramm Model checking Computing